Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier

Source URL: spw14.langsec.org

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• C
• Printf format string
• Relational operator
• Const
• Type conversion

Parallelism, Concurrency, and Asynchrony in Perl 6 Jonathan Worthington 今日は!

Source URL: jnthn.net

• Cross-platform software
• High-level programming languages
• Scripting languages
• Perl 6
• Parallel computing
• Concurrent computing
• Perl
• Asynchrony
• Parallelism
• Central processing unit
• Rakudo Perl 6
• Thread

Tracking the Flow of Ideas through the Programming Languages Literature Michael Greenberg, Kathleen Fisher, and David Walker How can we understand 


Source URL: www.cs.ox.ac.uk

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

The NAS Parallel Benchmarks in Titanium by Kaushik Datta Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfaction of the

Source URL: titanium.cs.berkeley.edu

• Object-oriented programming languages
• Procedural programming languages
• Data types
• Benchmark
• Array data structure
• Stencil code
• Fortran
• NAS Parallel Benchmarks
• Array data type
• Array
• Titanium
• Standard Performance Evaluation Corporation

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Vasco T. Vasconcelos Nobuko Yoshida

Source URL: places08.di.fc.ul.pt

• Concurrent programming languages
• Edsger W. Dijkstra
• Parallel computing
• Distributed computing
• Concurrent computing
• Programming language
• Go
• Type system
• Modularity
• Concurrency
• Limbo

CMCS 312: Programming Languages Lecture 1: Syntax and Induction Acar & Ahmed January 8, 2008

Source URL: ttic.uchicago.edu

LogGC: Garbage Collecting Audit Log Kyu Hyung Lee Xiangyu Zhang Dongyan Xu Department of Computer Science and CERIAS, Purdue University West Lafayette, IN 47907, USA

Source URL: friends.cs.purdue.edu

• Computing
• Software
• Object-oriented programming languages
• Data management
• Computer systems
• Concurrent programming languages
• Functional languages
• Tuple
• Scala
• Log analysis
• Extensible Storage Engine
• Logfile

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ...

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Type theory
• Pointer
• Scala
• Lookup table
• Pascal
• More
• Variable